Exercise 4.10